home *** CD-ROM | disk | FTP | other *** search
- Path: pcc002.ids-scheer.de!news
- From: Thomas Trenz <trenz@ids-scheer.de>
- Newsgroups: comp.lang.c++
- Subject: Is there a tool for exception-checking?
- Date: Fri, 09 Feb 1996 09:26:49 +0000
- Organization: IDS Prof. Scheer GmbH
- Message-ID: <311B1359.41B1@ids-scheer.de>
- NNTP-Posting-Host: pcg133.ids-scheer.de
- Mime-Version: 1.0
- Content-Type: text/plain; charset=us-ascii
- Content-Transfer-Encoding: 7bit
- X-Mailer: Mozilla 2.0b6a (WinNT; I)
-
- Hi folks,
-
- Is there a tool, that can check a projects throw-statements.
- For example:
-
- class A
- {
- public:
-
- int f () throw (B, C);
- int g () throw (B);
- };
-
-
- int A :: f () throw (B, C)
- {
- // some code that can throw either B or C...
- }
-
- int A :: g () throw (B)
- {
- f();
- }
-
-
- Raising an exception of type C in f() causes an runtime-
- error in g(), because g guarantees, that it only raises
- exceptions of type B.
-
- So is there any tool, that can find these pitfalls?
-
- Thanx in advance...
-
-
-
- --------------------------------------------
- IDS Prof. Scheer
- Thomas Trenz
- Altenkesseler Strasse 20
- Gebaeude C2
- D - 66115 Saarbruecken
-
- Telefon: 0681 / 9921-850
-